Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
681	Secrecy-Preserving Query Answering for Instance Checking in EL Jia Tao, Giora Slutzki, and Vasant Honavar Iowa State University, Ames, IA, USA Abstract. We consider the problem of answering queries against an Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-01-30 20:13:58 Structure Universal algebra Formal language Parity of a permutation Mathematics Group theory Model theory
682	Extending Grammars and Metamodels for Reuse The Reuseware Approach Jakob Henriksson Florian Heidenreich Jendrik Johannes Steffen Zschaler Add to Reading List Source URL: www.steffen-zschaler.de Language: English - Date: 2008-02-28 05:49:09 Programming paradigms Compiler construction Web services Notation Programming language Function composition XML SQL Domain-specific language Computing Software engineering Formal languages
683	ACME: Automata with Counters, Monoids and Equivalence? Nathanaël Fijalkow1,2 and Denis Kuperberg2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-21 11:37:01 Automata theory Mathematics Category theory Formal languages Algebraic structures Monoid Semiautomaton Probabilistic automaton Regular language Abstract algebra Semigroup theory Algebra
684	L4: Engineering of MT and CAT systems Christian BOITET GETALP-LIG-UJF, Grenoble, France © Ch. Boitet —!NII MT lectures Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:55 Ethology Computational linguistics Q-systems Rewriting Language Linguistics C Science Formal languages Mathematics
685	Example and Overview Describing Syntax Lexical Analysis Syntax Analysis Synthesis Using Attributes Sources Add to Reading List Source URL: www2.cs.unibw.de Language: English - Date: 2006-04-27 12:24:52 Programming language implementation Computing Parsing Lexical analysis Regular expression Syntax Compiler LL parser Formal grammar Formal languages Software engineering Compiler construction
686	Webis at TREC 2014: Web, Session, and Contextual Suggestion Tracks Matthias Hagen Steve Göring Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2015-02-09 16:44:35 Information Natural language processing Software Axiom Relevance feedback Query expansion Information retrieval Science Formal systems
687	Modular Ontologies - A Formal Investigation Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-05 15:40:28 Semantic Web Knowledge representation Knowledge engineering Knowledge Technical communication Ontology Web Ontology Language Description logic Semantics Information Science Information science
688	COMS11700 Beyond context-free languages Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:31 Pumping lemma for regular languages Context-free language Compact fluorescent lamp Formal languages Lemmas Pumping lemma for context-free languages
689	Weighted Automata for Proving Termination of String Rewriting Johannes Waldmann Hochschule fu ¨r Technik, Wirtschaft und Kultur (FH) Leipzig Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2006-03-30 05:05:27 Mathematics Computer science Regular language Rewriting String Ω-automaton Formal languages Theoretical computer science Automata theory
690	Jaccie-Tour Tool architecture Token Recognition Grammars and Parsing Attribute Evaluation Getting Started Add to Reading List Source URL: www2.cs.unibw.de Language: English - Date: 2011-10-25 12:09:39 Formal languages Software Parsing Pattern matching Compiler Lexical analysis Terminal and nonterminal symbols Attribute grammar SYNTAX Programming language implementation Compiler construction Software engineering

UPDATE